Philippe De Groote And NotLorraine (région)
List of bibliographic references
Number of relevant bibliographic references: 23.Ident. | Authors (with country if any) | Title |
---|---|---|
003919 | Philippe De Groote [France] ; Sylvain Pogodalla [France] ; Carl Pollard [États-Unis] | On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar |
007702 | Sylvain Salvati ; Philippe De Groote | On the complexity of higher-order matching in the linear λ-calculus |
007775 | Philippe De Groote ; Sylvain Pogodalla | m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars |
008273 | Philippe De Groote ; François Lamarche | Classical Non Associative Lambek Calculus |
008E53 | Philippe De Groote | Towards abstract categorial grammars |
009036 | Philippe De Groote ; Glyn Morrill ; Christian Retoré | Logical Aspects of Computational Linguistics |
009135 | Guillaume Bonfante ; Philippe De Groote | Stochastic Lambek Categorial Grammars |
009A40 | Philippe De Groote | Proof-search in implicative linear logic as a matching problem |
009B13 | Philippe De Groote ; Catherine Pilière | On the semantics of static exception handling |
009C56 | Philippe De Groote | Linear higher-order matching is NP-complete |
00A530 | Philippe De Groote | On the Strong Normalisation of Natural Deduction with Permutation-Conversions |
00A562 | Philippe De Groote | An algebraic correctness criterion for intuitionistic multiplicative proof-nets |
00A590 | Philippe De Groote | A dynamic programming approach to categorial deduction |
00A654 | Philippe De Groote | The Non-associative Lambek calculus with product in polynomial time |
00A672 | Philippe De Groote ; Catherine Pilière | On the semantics of static exception handling |
00AE04 | Philippe De Groote ; Catherine Pilière | Preuve de confluence de λ_{exn} |
00AF37 | Philippe De Groote ; Guy Perrier | A note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic'' |
00B122 | Philippe De Groote | An environment machine for the λ\mu-calculus |
00B772 | Philippe De Groote | On the expressive power of the Lambek calculus extended with a structural modality --- Abstract |
00B923 | Philippe De Groote ; Roger Hindley | Third International Conference on Typed Lambda Calculi and Applications - TLCA'97 |
00B926 | Denis Bechet ; Philippe De Groote | Constructing different phonological bracketings from a proof net |
00B952 | Philippe De Groote | An algebraic correctness criterion for intuitionistic proof-nets |
00BA23 | Denis Bechet ; Philippe De Groote ; Christian Retoré | A complete axiomatisation of the inclusion of series-parallel partial orders |
This area was generated with Dilib version V0.6.33. |